We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or by other cognitive biases. These are examples of higher-order evid...(展开全部)

We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or by other cognitive biases. These are examples of higher-order evid...(展开全部)

The higher-order evidence debate concerns how higher-order evidence affects the rationality of our first-order beliefs. This Element has two parts. The first part (Sections 1 and 2) provides a critical overview of the literature, aiming to explain why the higher-order evidence debate is interesting and important. The second part (Sections 3 to 6) defends calibrationism, the vie...(展开全部)

This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphys...(展开全部)

This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages — their model theory and proof theory, the theory of λ-abstraction and its generalizations — and their philosophical applications, especially to the topic...(展开全部)

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theo...(展开全部)

在线阅读本书 Most Perl programmers were originally trained as C and Unix programmers, so the Perl programs that they write bear a strong resemblance to C programs. However, Perl incorporates many features that have their roots in other languages such as Lisp. These advanced features are not well understood and are rarely used by most Perl programmers, but they are very powerful. T...(展开全部)

在线阅读本书 Most Perl programmers were originally trained as C and Unix programmers, so the Perl programs that they write bear a strong resemblance to C programs. However, Perl incorporates many features that have their roots in other languages such as Lisp. These advanced features are not well understood and are rarely used by most Perl programmers, but they are very powerful. T...(展开全部)

In the New Essays on Human Understanding, Leibniz argues chapter by chapter with John Locke's Essay Concerning Human Understanding, challenging his views about knowledge, personal identity, God, morality, mind and matter, nature versus nurture, logic and language, and a host of other topics. The work is a series of sharp, deep discussions by one great philosopher of the work of...(展开全部)

In the New Essays on Human Understanding, Leibniz argues chapter by chapter with John Locke's Essay Concerning Human Understanding, challenging his views about knowledge, personal identity, God, morality, mind and matter, nature versus nurture, logic and language, and a host of other topics. The work is a series of sharp, deep discussions by one great philosopher of the work of...(展开全部)